Самая большая электронная библиотека рунета. Поиск книг и журналов

Proof-Net Categories

Автор: , Автор:
Размер книги: 612 Kb

Proof-Theoretical Coherence

Автор: , Автор:
Размер книги: 1.44 Mb